电子邮件的自动截取与分析系统的设计与实现

介绍了一种对电子邮件进行自动截取分析系统的后台程序的设计与实现．该系统能够根据用户预先设定的截取关键词对电子邮件进行自动截取分析，然后对截取的电子邮件在前台进行相应的处理，以防止电子邮件传播非法的、不健康的内容。     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

基于高层软件协议栈的蓝牙实现

文章主要介绍了蓝牙开发应用的高层软件协议栈Bluestack，详细说明了基于Bluestack的应用程序的实现机制，并给出了一个利用Bluestack协议栈实现的基于RFCOMM的点对点数据通信的实例.     

OSPF路由选择协议研究

OSPF是新型的路由选择协议,被广泛应用于大型网络之中.从阐述OSPF的结构模型入手,分析了OSPF在一个区中的工作机制,以及各区之间路由信息的交换.     

多目标线性规划的交互式模糊满意方法(IFSM)

在多目标线性规划中，当决策者对每个目标函数都有一个模糊目的时，本文综合两分法和线性规划方法，给出了一种新的求解方法、这种方法所需计算量少，有利于求解大规模多目标残性规划问题     

WXH-11x微机线路保护屏并入监控系统

对该装置的输出软件进行部分改造，增加了通讯功能，研制了上位微机与其通讯的规约软件，从而构成主从关系两级分布式电力系统微机继电保护监控系统。     

过程控制计算机中文监控软件的设计与实现

提出了一种适用于石油、化工、冶金和电力等实际工业过程参数的监视与控制的计算机中文监控软件，并对其系统组成、功能的实现和关键技术等问题进行了阐述．     

SMu高效减水剂的研制

文章简要介绍了ＳＭｕ高效减水剂的合成试验。该产品在ＳＭ高效减水剂相比，可降低生产成本１０％－２０％，产品性能达到国家标准一级品的标准。     

DEA中只改变输出使决策单元变为有效的方法

给出了在只改变输出的情况下使某决策单元变为ＤＥＡ有效或弱ＤＥＡ有效（Ｃ２Ｒ或Ｃ２ＧＳ２）的计算方法。     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证